"E. Allen Emerson" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Verification, Model Checking, and Abstract Interpretation, 7 conf., VMCAI 2006

E. Allen Emerson, Kedar S. Namjoshi

Категория: Cs_Computer science, CsLn_Lecture notes

4.44 Mb

#2

Computer Aided Verification, 12 conf., CAV 2000

E. Allen Emerson, A. Prasad Sistla

Категория: Cs_Computer science, CsLn_Lecture notes

3.80 Mb